翻訳と辞書
Words near each other
・ Interstate 190 (Illinois)
・ Interstate 190 (Massachusetts)
・ Interstate 190 (New York)
・ Interstate 190 (South Dakota)
・ Interstate 194
・ Interstate 194 (Michigan)
・ Interstate 195
・ Interstate 195 (Florida)
・ Interstate 195 (Maine)
・ Interstate 195 (Maryland)
・ Interstate 195 (New Jersey)
・ Interstate 195 (Rhode Island–Massachusetts)
・ Interstate 195 (Virginia)
・ Interstate 196
・ Interstate 2
Intersection theory
・ Intersection theory (disambiguation)
・ Intersectionality
・ Intersections (1985–2005)
・ Intersections (arts festival)
・ Intersections (Dave House album)
・ Intersections (Into it. Over it. album)
・ Intersections (Mekong Delta album)
・ Intersections in Real Time
・ Intersections, Virginia
・ InterSector
・ Intersegmental General Education Transfer Curriculum
・ Interserie
・ InterServ
・ Interserve


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Intersection theory : ウィキペディア英語版
Intersection theory

:''Not to be confused with Intersectionality theory.''
In mathematics, intersection theory is a branch of algebraic geometry, where subvarieties are intersected on an algebraic variety, and of algebraic topology, where intersections are computed within the cohomology ring. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form.
==Topological intersection form==

For a connected oriented manifold of dimension the intersection form is defined on the -th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class in . Stated precisely, there is a bilinear form
:\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\to \mathbf
given by
:\lambda_M(a,b)=\langle a\smile b,()\rangle \in \mathbf
with
:\lambda_M(a,b)=(-1)^n\lambda_M(b,a) \in \mathbf.
This is a symmetric form for even (so doubly even), in which case the signature of is defined to be the signature of the form, and an alternating form for odd (so singly even). These can be referred to uniformly as ε-symmetric forms, where respectively for symmetric and skew-symmetric forms. It is possible in some circumstances to refine this form to an , though this requires additional data such as a framing of the tangent bundle. It is possible to drop the orientability condition and work with coefficients instead.
These forms are important topological invariants. For example, a theorem of Michael Freedman states that simply connected compact 4-manifolds are (almost) determined by their intersection forms up to homeomorphism – see intersection form (4-manifold).
By Poincaré duality, it turns out that there is a way to think of this geometrically. If possible, choose representative -dimensional submanifolds , for the Poincaré duals of and . Then is the oriented intersection number of and , which is well-defined because of the dimensions of and . This explains the terminology ''intersection form''.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Intersection theory」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.